Issue4950.agda:5,3-4
The following names are declared but not accompanied by a
definition: B
